Kissinger, H. (2014). O Chinach (tłum. Magdalena Komorowska). Wołowiec: Wydawnictwo Czarne, ss. 564.

O + + H 2 O „ + M ... \ H 5 O 2 + „ + M ...

بررسی عدم استقرار الکترون در پیوندهای هیدروژنی درون مولکولی از نوع o-h…o , n-h…n , s-h…s

چکیده در مطالعه کنونی، عدم استقرار الکترون در پیوندهای هیدروژنی کمک شده رزونانسی درون مولکولی از نوع o-h…o ، n-h…n، s-h…s در سطوح تئوری mp2 و b3lyp با استفاده از سری پایه استاندارد 6-311++g** و تئوری کوانتومی "اتمها در مولکولها" (qtaim) مورد بررسی قرار گرفته است. انرژی پیوندهای هیدروژنی درون مولکولی برای این سیستم ها از روش اسپینوزا که مبتنی بر پارامترهای توپولوژیکال مشتق شده از تئوری aim می ب...

Magdalena Kacprzak Alessio

We present an approach to the problem of verification of epistemic properties in multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend the technique of unbounded model checking from a purely temporal setting to a temporal-epistemic one. In order to achieve this, we base our discussion on interpreted systems semantics, a popular semantics used in multi...

Robot Vision Course SS 2014 Philipp Heise , Brian Jensen Assignment 2 - Due : 06 . 05 . 2014 Exercise 0 Prerequisites

We have provided some common message definitions and headers required to complete the exercises into a utilities package available here: https://github.com/tum-robot-vision/rvc_ utils. For this assignment we will be using two different datasets: the affine covariant features dataset (see http://www.robots.ox.ac.uk/~vgg/research/affine/) for visually evaluating the overall performance of all com...

O  M S-o T H

We compare classes of finite relational structures via monadic second-order transductions. More precisely, we study the preorder C ⊑ K : iff C ⊆ τ(K) for some transduction τ. If we only consider classes of incidence structures we can completely describe the resulting hierarchy. It is linear of order type ω + . Each level can be characterised in terms of a suitable variant of tree-width. Canoni...